package com.shigi.sat.structure;

import com.shigi.problem.Solution;

import java.util.ArrayList;
import java.util.List;

/**
 * Created by Miroslav Šiagi on 27/01/15.
 */
public class SatSolution {
    public List<SatInstance> satSolutions;
    public String id;

    public SatSolution(String id) {
        this.id = id;
        this.satSolutions = new ArrayList<SatInstance>();
    }

    public void addSolution(SatInstance satInstance) {
        this.satSolutions.add(new SatInstance(satInstance));
    }
}
